منابع مشابه
Comprehending ADTs*
We show how to generalize list comprehensions to work on abstract data types. First, we make comprehension notation automatically available for any data type that is specified as a constructor/destructor-pair (bialgebra). Second, we extend comprehensions to enable the use of different types in one comprehension and to allow to map between different types. Third, we refine the translation of com...
متن کاملComprehending queries
There are no compelling reasons why database-internal query representations have to be designated by operators. This text describes a world in which datatypes determine the comprehension of queries. In this world, a datatype is characterized by its algebra of value constructors. These algebras are principal. Query operators are secondary in the sense that they simply box (recursive) programs th...
متن کاملComprehending anaphoric metaphors.
In this study we investigate the comprehension of various kinds of anaphoric metaphors in context. We describe an experiment that manipulated the metaphoricity of simple noun + verb + ending sentences by using either a metaphoric noun or a metaphoric verb or both. Our results show that metaphoric nouns affect sentence comprehension to a greater extent than do metaphoric verbs. Thus, even though...
متن کاملComprehending Transboundary Regionalism
Transboundary regionalism can be defined as a spatially integrated form of political co-operation and problem-solving that transcends the limits of nationally-based administrative practice and attempts to create (or re-create, as the case might be) a sense of cohesiveness, interdependence and common interests across national boundaries. This summary discussion touches upon the phenomenon of Tra...
متن کاملComprehending Isabelle/HOL's Consistency
The proof assistant Isabelle/HOL is based on an extension of HigherOrder Logic (HOL) with ad hoc overloading of constants. It turns out that the interaction between the standard HOL type definitions and the Isabelle-specific ad hoc overloading is problematic for the logical consistency. In previous work, we have argued that standard HOL semantics is no longer appropriate for capturing this inte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Chemistry
سال: 2009
ISSN: 1755-4330,1755-4349
DOI: 10.1038/nchem.339